$\forall$$y$:(:$\mathbb{Z}$ $\times$ $\mathbb{Z}$). $y$ $<$ $y$ $\Rightarrow$ False